6ddec22ac7f0e1e47f415182b1715446b3f5203d,findbugs/src/java/edu/umd/cs/findbugs/ba/deref/UnconditionalValueDerefAnalysis.java,UnconditionalValueDerefAnalysis,checkNonNullReturnValue,#XMethod#Location#ValueNumberFrame#UnconditionalValueDerefSet#,384
Before Change
}
if (database.getResolvedAnnotation(thisMethod, true) != NullnessAnnotation.NONNULL)
return;
IsNullValueFrame invFrame = invDataflow.getFactAtLocation(location);
if (!invFrame.isValid()) return;
IsNullValue value = invFrame.getTopValue();
if (value.isDefinitelyNotNull()) return;
if (value.isDefinitelyNull()) return;
ValueNumber vn = vnaFrame.getTopValue();
if (true) fact.addDeref(vn, location);
After Change
}
if (database.getResolvedAnnotation(thisMethod, true) != NullnessAnnotation.NONNULL)
return;
if (reportPotentialDereference(location, invDataflow.getFactAtLocation(location))) {
ValueNumber vn = vnaFrame.getTopValue();
fact.addDeref(vn, location);
}